#include <stdio.h>

__attribute__((weak)) unsigned board_irq_disable(void)
{
    //#warning "You should redefine board_irq_disable()";
    return 0;
}

__attribute__((weak)) void board_irq_restore(unsigned state)
{
    (void)state;
    //#warning "You should redefine board_irq_restore()";
}

unsigned irq_disable(void)
{
    return board_irq_disable();
}

void irq_restore(unsigned state)
{
    board_irq_restore(state);
}
